481. Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings
Author: Lubos Brim, Jozef Gruska, Jiri Zlatuska )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1450
482. Mathematical foundations of computer science 1996 : 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996 : proceedings
Author: Wojciech Penczek, Andrzej Szalas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1113
483. Mathematical foundations of computer science 1991 : 16th International Symposium, Kazimierz, Dolny, Poland, 1991: proceedings
Author: A. Tarlecki )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
520
484. Mathematical foundations of computer science 2000 : 25th International Symposium, MFCS'2000, Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings
Author: Mogens Nielsen, Branislav Rovan )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1893
485. Mathematical foundations of computer science 2005 :30 th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005 : proceedings
Author: Joanna Jedrzejowicz, Andrzej Szepietowski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
3618
486. Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdansk, Poland, August 30-September 3, 1993 : proceedings
Author: Andrzej M. Borzyszkowski, Stefan Sokolowski, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
711
487. Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22-26, 1994 : proceedings
Author: Igor Privara, Branislav Rovan, Peter Ruzicka )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
841
488. Mathematical foundations of computer science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings
Author: Jiri Fiala, Vaclav Koubek, Jan Kratochvil )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
3153
489. Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : proceedings
Author: Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
1672
490. Mathematical foundations of computer science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings
Author: Krzysztof Diks, Wojciech Rytter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
2420
491. Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
Author: I.M. Havel, V. Koubek, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
629
492. Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings
Author: Branislav Rovan, Peter Vojtas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2747
493. Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings
Author: Jiri Sgall, Ales Pultr, Petr Kolman )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
2136
494. Mathematical foundations of computer science 1992: 17th international symposium, Prague, Czechoslovakia, August 24-28,1992:proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science--Mathematics--Congresses
Classification :
QA
76
.
9
.
M35
.
M3862
1992
495. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
496. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
497. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
498. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
499. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
500. Mathematical foundations of software development
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
Classification :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
